TSTP Solution File: DAT232^1 by SInE---0.4